๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
โ Formal Methods
FStar, libjade, Jasmin, hacl-star
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org
ยท
5h
ยท
Discuss:
Hacker News
๐ฆ
Rust
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com
ยท
16h
ยท
Discuss:
Hacker News
๐
Cryptography
A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
eprint.iacr.org
ยท
12h
๐
Zero-Knowledge Proofs
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com
ยท
7h
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Unit Test Mocks in Go
martincapodici.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
The Joy of a Boring Codebase
trunk.io
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Jibril Runtime Security v2.4: Programmable Reactions to OS Security Events
jibril.garnet.ai
ยท
5h
ยท
Discuss:
Hacker News
๐
Cryptography
Handling request scoped dependencies in Golang without abusing the context
winsnes.io
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com
ยท
12h
ยท
Discuss:
Hacker News
๐
Cryptography
Kernel
web.cs.wpi.edu
ยท
2d
ยท
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
๐
Zero-Knowledge Proofs
Why Gleam Deserves a Spot in Your 2025 Toolkit: Beyond the Syntax
lozdev.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Make Your Agent Listen: Tactics for Obedience
blog.pamba.app
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Programming Language Escape Hatches
buttondown.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
AAAI Launches AI-Powered Peer Review Assessment System
aaai.org
ยท
6h
ยท
Discuss:
Hacker News
๐
Cryptography
Cabal 3.16 Release
blog.haskell.org
ยท
9h
ยท
Discuss:
Hacker News
๐
Cryptography
Migrating to AI SDK v5: A Story of Tool Streaming, Caching, and Type Safety
braingrid.ai
ยท
5h
ยท
Discuss:
Hacker News
๐ฆ
Rust
Keep Pydantic out of your Domain Layer
coderik.nl
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Show HN: O3 beats Sonnet 4 at coding (in our codebase, wrt our preferences)
news.ycombinator.com
ยท
10h
ยท
Discuss:
Hacker News
๐ฆ
Rust
Show HN: Configurable parser from binary message to JSON (and viceversa)
gitubo.github.io
ยท
12h
ยท
Discuss:
Hacker News
๐
Cryptography
Loading...
Loading more...
Page 2 »